package ai.wprolog.essentials;

/**
 * This is a simple record. A choicepoint contains the continuation (a goal
 * list) and the next clause to be tried.
 */
public class ChoicePoint {
	int clausenum;
	TermList goal;

	public ChoicePoint(int cn, TermList g) {
		clausenum = cn;
		goal = g;
	}

	public final String toString() {
		return ("<<" + clausenum + " : " + goal + ">>");
	}
}
